package org.xteam.sled.solver;

import java.util.List;
import java.util.Map;

import org.xteam.sled.semantic.exp.Exp;
import org.xteam.sled.semantic.exp.ExpCondition;


public class SolverResult {

	private List<ExpCondition> unsolvables;
	private List<ExpCondition> constraints;
	private Map<String, Exp> values;

	public SolverResult(List<ExpCondition> constraints, Map<String, Exp> values) {
		this.constraints = constraints;
		this.values = values;
	}

	public SolverResult(List<ExpCondition> pending) {
		unsolvables = pending;
	}

	public boolean hasUnsolvables() {
		return unsolvables != null && unsolvables.size() > 0;
	}
	
	public List<ExpCondition> getUnsolvables() {
		return unsolvables;
	}

	public List<ExpCondition> getConstraints() {
		return constraints;
	}

	public Map<String, Exp> getValues() {
		return values;
	}

}
